structure S =
struct
  type 'a must_be_hidden (= boxed)
end
